オブジェクト指向+静的型付けで、バグと改修costが小さいIT systemを作る